and Computation - PDFSEARCH.IO - Document Search Engine

and Computation
Results: 3364

#	Item
81	The 3rd ERATO-SORST Quantum Computation and Information Workshop Sanjo Conference Hall B001, The University of Tokyo, 2/28～（Mon） 14:00-14:10 Opening Add to Reading List Source URL: qci.is.s.u-tokyo.ac.jp Language: English - Date: 2011-02-25 02:18:42
82	A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Alessandro Artale1 , Enrico Franconi2 , Frank Wolter3 , Michael Zakharyaschev4 1 Dept. of Computation, UMIST, Manchester, UK; t Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2017-01-27 04:48:10
83	Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs J. Michael Ashley Indiana University and Charles Consel Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39
84	Controlling probabilistic systems under partial observation an automata and verification perspective Nathalie Bertrand, Inria Rennes, France Uncertainty in Computation Workshop October 4th 2016, Simons Institute, Berkele Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2016-10-10 15:16:23
85	RANDOMThe 21st International Workshop on Randomization and Computation and Add to Reading List Source URL: cui.unige.ch Language: English - Date: 2017-01-30 15:56:52
86	University of London Imperial College of Science, Technology and Medicine Department of Computing Parallel Computation of Response Time Densities and Quantiles in Large Markov and Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2004-11-29 07:45:28
87	A Model of Distributed Query Computation in Client-Server Scenarios on the Semantic Web ∗ 1 Olaf Hartig1 , Ian Letter2 , Jorge P´erez3,4 Dept. of Computer and Information Science (IDA), Link¨oping University, Sweden Add to Reading List Source URL: olafhartig.de Language: English - Date: 2018-05-03 16:14:44
88	Independence and Decision-Contexts for Non-Interference Conditionals∗ Michael Franke Institute for Logic, Language and Computation Universiteit van Amsterdam Add to Reading List Source URL: www.home.uni-osnabrueck.de Language: English - Date: 2018-04-18 07:39:41
89	Grown-in Defects of InSb Crystals: Models and Computation N. Vaidya ∗, H. Huang †, and D. Liang ‡ Department of Mathematics & Statistics, York University Toronto, Canada M3J 1P3. August 22, 2005 Add to Reading List Source URL: www.math.yorku.ca Language: English - Date: 2005-09-30 08:16:16

UPDATE